(set-logic QF_LRA)
(set-option :model_validate true)
(set-option :model true)
(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v4 Bool)
(declare-const r1 Real)
(declare-const r2 Real)
(declare-const r3 Real)
(declare-const r4 Real)
(declare-const r6 Real)
(declare-const r10 Real)
(declare-const r11 Real)
(assert-soft (not v0))
(assert v0)
(declare-const v7 Bool)
(assert v1)
(declare-const v8 Bool)
(assert v3)
(declare-const v9 Bool)
(assert-soft (=> v0 (not v0)))
(declare-const r15 Real)
(declare-const v10 Bool)
(assert-soft (distinct v0 v3 (=> v4 (xor (> (* r11 0.906306328 561710254.0 r4 r10) r10 r6) v0 v1 (> r1 r3 r11 r4) (not v0))) v8 v3))
(declare-const v11 Bool)
(assert v1)
(assert-soft (> (* r11 0.906306328 561710254.0 r4 r10) r10 r6))
(assert-soft v1)
(assert-soft v9)
(check-sat)